Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Transfer principle — In mathematics, the transfer principle is a concept in Abraham Robinson s non standard analysis of the hyperreal numbers. It states that any sentence expressible in a certain formal language that is true of real numbers is also true of hyperreal… … Wikipedia
Formal power series — In mathematics, formal power series are devices that make it possible to employ much of the analytical machinery of power series in settings that do not have natural notions of convergence. They are also useful, especially in combinatorics, for… … Wikipedia
transfer — trans|fer1 W2 [trænsˈfə: US ˈfə:r] v past tense and past participle transferred present participle transferring ▬▬▬▬▬▬▬ 1¦(move to different place etc)¦ 2¦(put something in different place)¦ 3¦(sports person)¦ 4¦(money)¦ 5 transfer your… … Dictionary of contemporary English
transfer — {{Roman}}I.{{/Roman}} noun 1 change of place/situation ADJECTIVE ▪ massive ▪ The war caused a massive transfer of population. ▪ efficient, smooth, successful ▪ the smooth … Collocations dictionary
Transfer tax — A transfer tax is a tax on the passing of title to property from one person (or entity) to another.In a narrow legal sense, a transfer tax is essentially a transaction fee imposed on the transfer of title to property. This kind of tax is… … Wikipedia
transfer — 1 verb transferred, transferring 1 PERSON (I, T) to move or arrange for someone to move from one place or job to another, especially within the same organization: transfer sb to: They re transferring me to the Edinburgh office. 2 THING/ACTIVITY… … Longman dictionary of contemporary English
Transfer Pricing — Als Verrechnungspreis (bzw. Transferpreis oder Konzernverrechnungspreis) wird in der Kosten und Leistungsrechnung derjenige Preis bezeichnet, der zwischen verschiedenen Bereichen eines Unternehmens oder zwischen verschiedenen Gesellschaften eines … Deutsch Wikipedia
Transfer of sovereignty of Hong Kong — The transfer of sovereignty of Hong Kong from the United Kingdom to the People s Republic of China, often referred to as the Handover, occurred on July 1, 1997. The event marked the end of British rule, and the transfer of sovereignty of Hong… … Wikipedia
training, transfer of — In psychology, the effect of having learned one activity on an individual s execution of other activities. Positive transfer occurs when a previously acquired skill enhances one s performance of a new one. Negative transfer occurs when the… … Universalium
Informal value transfer system — An informal value transfer system (IVTS) refers to any system, mechanism, or network of people that receives money for the purpose of making the funds or an equivalent value payable to a third party in another geographic location, whether or not… … Wikipedia
